WorkSpace.java

public class WorkSpace { // supply default empty actions
	public void init_vertex(Vertex v) {
	}

	public void preVisitAction(Vertex v) {
	}

	public void postVisitAction(Vertex v) {
	}

	public void nextRegionAction(Vertex v) {
	}

	public void checkNeighborAction(Vertex vsource, Vertex vtarget) {
	}
}